Top $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\cap$$x$:Void.Void